Higher order attribute grammars

Termination Analysis for Higher-Order Attribute Grammars

This paper describes a conservative analysis to detect nontermination in higher-order attribute grammar evaluation caused by the creation of an unbounded number of (finite) trees as local tree-valued attributes, which are then themselves decorated with attributes. This type of non-termination is not detected by a circularity analysis for higherorder attribute grammars. The analysis presented he...

Efficient Incremental Evaluation of Higher order Attribute Grammars

Efficient Model-based Fuzz Testing Using Higher-order Attribute Grammars

Format specifications of data input are critical to model-based fuzz testing. Present methods cannot describe the format accurately, which leads to high redundancy in testing practices. In order to improve testing efficiency, we propose a grammar-driven approach to fuzz testing. Firstly, we build a formal model of data format using higher-order attribute grammars, and construct syntax tree on t...

Attribute Grammars

Attribute grammars are a framework for defining semantics of programming languages in a syntax-directed fashion. In this paper, we define attribute grammars, and then illustrate their use for language definition, compiler generation, definite clause grammars, design and specification of algorithms, etc. Our goal is to emphasize its role as a tool for design, formal specification and implementat...

Dynamic Attribute Grammars Dynamic Attribute Grammars Les Grammaires Attribuues Dynamiques

Although Attribute Grammars were introduced long ago, their lack of expressive-ness has resulted in limited use outside the domain of static language processing. With the new notion of Dynamic Attribute Grammars deened on top of Grammar Couples, informally presented in a previous paper, we show that it is possible to extend this expressiveness and to describe computations on structures that are...